Internet Archive BookReader

Common derivations in locally determined nonmonotonic rule systems and their complexity